6 examinable proofs